#include <stdio.h>

void f(void);

int a = 123;

int main(void)
{
	f();
	printf("a = %d\n", a);

	return 0;
}
